-
1 prenex operation
Большой англо-русский и русско-английский словарь > prenex operation
-
2 prenex operation
Математика: пренексная операция -
3 prenex operation
мат. -
4 prenex
матем. предваренный prenex normal norm ≈ лог. предваренная нормальная норма - prenex form - prenex formula - prenex operation - prenex sequent -
5 operation
1) действие2) операция3) оперирование4) процесс, ход5) работа, функционирование6) срабатывание7) управление8) эксплуатация•- hereditarily recursive operationoperation under VFR — авиац. визуальное самолётовождение
-
6 пренексная операция
prenex operation мат.Русско-английский научно-технический словарь Масловского > пренексная операция
-
7 пренексная операция
Большой англо-русский и русско-английский словарь > пренексная операция
-
8 пренексная операция
Mathematics: prenex operationУниверсальный русско-английский словарь > пренексная операция
См. также в других словарях:
Type polymorphism — In computer science, polymorphism is a programming language feature that allows values of different data types to be handled using a uniform interface. The concept of parametric polymorphism applies to both data types and functions. A function… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia